Results for 'Carlos Augusto Di Prisco'

942 found
Order:
  1. (1 other version)The Wonder of Colors and the Principle of Ariadne.Walter Carnielli & Carlos di Prisco - 2017 - In Walter Carnielli & Carlos di Prisco (eds.), The Wonder of Colors and the Principle of Ariadne. Cham: Springer. pp. 309-317.
    The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Perfect set properties in models of ZF.Franklin Galindo & Carlos Di Prisco - 2010 - Fundamenta Mathematicae 208 (208):249-262.
    We study several perfect set properties of the Baire space which follow from the Ramsey property ω→(ω) ω . In particular we present some independence results which complete the picture of how these perfect set properties relate to each other.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Constructibilidad relativizada y el Axioma de elección.Franklin Galindo & Carlos Di Prisco - 2010 - Mixba'al. Revista Metropolitana de Matemáticas 1 (1):23-40.
    El objetivo de este trabajo es presentar en un solo cuerpo tres maneras de relativizar (o generalizar) el concepto de conjunto constructible de Gödel que no suelen aparecer juntas en la literatura especializada y que son importantes en la Teoría de Conjuntos, por ejemplo para resolver problemas de consistencia o independencia. Presentamos algunos modelos resultantes de las diferentes formas de relativizar el concepto de constructibilidad, sus propiedades básicas y algunas formas débiles del Axioma de Elección válidas o no válidas en (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. A CAÇA À SABEDORIA: a sophia a partir da Apologia de Platão.Carlos Augusto de Oliveira Carvalhar - 2020 - Dissertation, Ufrj, Brazil
    This is a study of sophía from the passage 20d-21a in Plato’s Apology. There, Socrates tries to understand what kind of wisdom he would have, since the Oracle of Delphi stated that no one would be wiser than him. An investigation of historical aspects was made to understand the trial of Socrates and conviction, also a mapping of sophía’s main uses through the corpus platonicum was built, as well an overview of the usage of this concept by others greek authors. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Note su Hegel. Stato e diritto di Evgeny Pashukanis.Carlo Di Mascio - 2020 - Firenze, Italy: Phasar Edizioni.
    In 1931, Evgeny Pashukanis, the distinguished Soviet jurist, author of “The General Theory of Law and Marxism”, following an invitation to celebrate the centenary of Hegel’s death, published an assay entitled “Hegel, the State and Law” (Гегель. Государство и право) aimed to demistify, through a brief retrospective of Hegelian’s philosophy, its specific use, something achieved through the bourgeois ideology which, at some point in history, abandoned Kantism and its followers to embrace Neo-Hegelianism as a philosophy of domination and social control. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Lenin e i Quaderni sulla Scienza della Logica di Hegel.Carlo Di Mascio - 2017 - Firenze, Italy: Phasar Edizioni.
    On the verge of the 1917 October revolution, Lenin reads and elaborates on the Hegel's Science of Logic, as if he were attempting to outline, from it, specific effects. Theoretical effects, because human activity is never uncoupled from the logic objective, through which the real matter unfolds and to whom each individual indissolubly belongs. Practical effects, because if Hegelian philosophy is good for the Church, for the bourgeoisie, for the capital, by changing the order of some of its factors it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Ilyenkov e la filosofia marxista-leninista. Introduzione a Dialettica leninista e metafisica del positivismo di Evald Ilyenkov.Carlo Di Mascio - 2024 - Firenze: Phasar Edizioni.
    Can Marxist-Leninist philosophy disregard dialectical materialism, the analysis of material and social contradictions, the need to overcome and resolve them in the service of revolutionary transformation? ‘Does the lecturer acknowledge that the philosophy of Marxism is dialectical materialism’, as Lenin asked Bogdanov one day in May 1908? What had 'official Soviet Marxism' really become, capable of combining ideological dictatorship with militant philosophical ignorance, in turn justified by the achievements of modern science, skilfully used as an instrument of domination and preservation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Nota: ¿CUÁL ES EL CARDINAL DEL CONJUNTO DE LOS NÚMEROS REALES?Franklin Galindo - manuscript
    ¿Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964)? Intentos de responder esta pregunta pueden encontrarse en los artículos de José Alfredo Amor (1946-2011), "El Problema del continuo después de Cohen (1964-2004)", de Carlos Di Prisco , "Are we closer to a solution of the continuum problem", y de Joan Bagaria, "Natural axioms of set and the continuum problem" , que se pueden encontrar en la biblioteca digital de mi blog (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Stirner Giuspositivista. Rileggendo L'Unico e la sua proprietà.Carlo Di Mascio - 2015 - Trento, Italy: Edizioni Del Faro.
    La critica di Max Stirner, al pari di quella giuspositivistica, mirando alla dissoluzione di ogni valore assoluto, riconduce la costruzione dell'esperienza umana a un atto di volontà dell'individuo, il quale, irriducibile a ogni metafisica tradizionale e a ogni tipo di autorità ereditaria, crea e ricrea la propria esistenza e il mondo in maniera autonoma e incondizionata. In questo senso, la matrice non-cognitivistica comune sia al pensiero stirneriano che a quello giuspositivistico - oltre a denunciare il fondamento tipicamente universalistico e oggettivistico (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Masoch sovversivo. Cinque studi su Venus im Pelz.Carlo Di Mascio - 2018 - Firenze, Italy: Phasar Edizioni.
    Venus im Pelz is not just a book on masochism, love or the conflict of the sexes, but is also, in its own way, a work that aims to ridicule the philosophy par excellence, that in particular of Kant and Hegel, the great Fathers-Masters of philosophy, capable with their systems to rationalize the theme of voluntary submission, restoring the threatened order. In this direction, the same masochistic subversion, which with Severin had attempted to symbolically depose the Father, as the historical-political-cultural (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Pašukanis e la critica marxista del diritto borghese.Carlo Di Mascio - 2013 - Firenze, Italy: Phasar Edizioni.
    Why, at a certain point in history, did the regulation of human relations acquire jurisdictional status? Why did class rule take the form of an official state power? What, in the complexity of social relationships, did the formal application of norms correspond to? But above all, why did the law, here meant as a system of legal norms, turn out particularly suited to social and economic capitalist developments? From an explicitly Marxist point of view, the author explores Evgenij Bronislavovic Pashukanis's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Nobiltà, ‘divizie’ e riflesso in Dante.Augusto Nava Mora - 2020 - Revista Española de Filosofía Medieval 27 (1):15-45.
    L’articolo illustra il modo in cui Dante ha utilizzato le fonti medievali nel campo dell’ottica e degli exempla dei bestiari per costruire analogie al fine di ragionare delle ricchezze e della nobiltà. Il testo analizza, in particolare, Purg. XVII 1-9, Cv. II iv 16-17, III vii, ix, alcuni frammenti della canzone Le dolci rime e il relativo commento in Cv. IV. Alla fine dell’articolo si espone il contrappunto filosofico che Dante offre alle vicende storiche del suo tempo.
    Download  
     
    Export citation  
     
    Bookmark  
  13. Dissidio, stasis e società dipolari.Carlo Grassi - 2017 - Rivista di Estetica 65:120-142.
    Jean-François Lyotard s'interroga sulla forma delle organizzazioni sociali e ne identifica la problematica principale nell'eterogeneità che esse veicolano tra i differenti regimi di frasi: si sofferma, in particolare, sull'incompatibilità tra il regime della conoscenza e quello della libertà. A partire da tale riflessione, l'articolo esamina come le società attuali, multiculturali e globalizzate, siano chiamate oggi a compiere una scelta: abbracciare la sintesi dell'eterogeneo oppure rispettare e far rispettare la presenza inevitabile del dissidio. Nella prima occorrenza si corre il rischio di (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Kaplan's Sloppy Thinker and the Demonstrative Origin of Indexicals.Carlo Penco & Guido Borghi - 2018 - Quaderni di Semantica (special issue):137-157.
    In this paper we give some suggestions from etymology on the contrast between Kaplan’s direct reference theory and a neo-Fregean view on indexicals. After a short summary of the philosophical debate on indexicals (§1), we use some remarks about the hidden presence of a demonstrative root in all indexicals to derive some provisional doubts concerning Kaplan’s criticism of what he calls “sloppy thinker” (§2). To support those doubts, we will summarise some etymological data on the derivation of the so-called “pure (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  46
    FREUND, J., Voci di teoria politica, Antonio Pellicani Editore, Roma 2001. [REVIEW]Juan Carlos Valderrama-Abenza - 2002 - Empresas Políticas (1):172-173.
    Download  
     
    Export citation  
     
    Bookmark  
  16. Social Welfare: An approach to the concept from a multidimensional perspective.Carlos Medel-Ramírez & Hilario Medel-López - manuscript
    Winds of change, from the political perspective in Mexico, invite us to reformulate the methodological vision for the direction of public policy in the field of social development, directing their actions towards the construction of a methodological proposal that allows us to direct ourselves towards achieving higher levels of Well-being Social in our country, as a desirable objective of public policy and which is expected to be inclusive, participatory and democratic. -/- In this sense, it is important to recognize that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Naturalist trends in current aesthetics.Roberta Dreon & Carlos Vara Sánchez - 2022 - Studi di Estetica 22.
    In this paper we investigate some important trends in contemporary naturalist aesthetics in relation to two decisive issues. Firstly, it is important to explicitly clarify what kind of naturalism is at stake within the debate, more specifically whether an account of the topic involves forms of physical reductionism, emergentism, and/or continuistic views of art and culture with nature. Secondly, we argue that it is necessary to define what conception of art is assumed as paradigmatic: whether this conception deals with basically (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Temas em filosofia contemporânea II.Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto - 2016 - Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina.
    Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. L'atto di fede e il metodo teologico in Carlo Colombo.Bertoldi Francesco - 1985 - In L'atto di fede e il metodo teologico in Carlo Colombo. Milano: Edit. pp. 9-37.
    Carlo Colombo è un teologo italiano, che insegnò a Venegono (diocesi di Milano) dal 1935 al 1965. Egli promosse un incontro tra il tomismo e le nuove correnti teologiche, ispirate a Blondel e al rinnovamento neo-patristico, cercando di salvaguardare sia l'oggettività della conoscenza concettuale, sia l'importanza dell'affettività e della ricerca di felicità che animano il soggetto umano. Il suo pensiero ha contribuito alla formazione di don Luigi Giussani, fondatore del movimento ecclesiale di Comunione e Liberzazione.
    Download  
     
    Export citation  
     
    Bookmark  
  20. La secolarizzazione moderna e «il problema Rousseau» nell’interpretazione di Augusto Del Noce, in «Studium Personae. Rivista di Teologia, Filosofia e Scienze Umane», anno 10, n. 1-2, 2019, pp. 67-100.Tommaso Valentini - 2019 - Studium Personae. Rivista di Teologia, Filosofia E Scienze Umane 10 (1-2):67-100.
    The Italian philosopher Augusto Del Noce (1910-1989) gave an original interpretation of the modern secular age. In this paper, I analyze the reasons why Del Noce saw in Descartes and in Rousseau two fundamental expressions of secularization: according to the two French philosophers, the human being is characterized by an original goodness (status naturae purae). Del Noce noted that this anthropological optimism, widespread in modernity, made superfluous the Christian faith: without the presence of original sin (an evil in human (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Una genealogia storica. "Ideologia" di Carlo Galli.Gianmaria Avellino - 2023 - Fata Morgana Web.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Carlo Natali. Il metodo e il trattato. Saggio sull’Etica Nicomachea. Roma: Edizioni di Storia e Letteratura, 2017. [REVIEW]Manuel Berrón & Matías Ezequiel Kogel - 2020 - Synthesis (la Plata) 27:e88.
    Download  
     
    Export citation  
     
    Bookmark  
  23. La battaglia di Genova.Antonio Chiocchi - 2001 - Focus on Line:1-8.
    La nuova conflittualità tra movimenti e poteri globali: in memoria di Carlo Giuliani.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Nei dintorni di Galileo.Oreste Trabucco - 2022 - Noctua 9 (2):257-273.
    This text publishes the proceedings of the presentation of the book of Maurizio Torrini Galileo nel tempo, 2021), which took place on 19 November 2021 at the Museo Galileo in Florence. The presentation, chaired by Massimo Bucciantini, featured interventions by Paolo Galluzzi, Carlo Borghero, Stefano Caroti and Oreste Trabucco.
    Download  
     
    Export citation  
     
    Bookmark  
  25. Da Martinetti ad Abbagnano (1926-1963). La prima età moderna nella Rivista di filosofia.Antonella Del Prete - 2023 - Noctua 10 (2–3):338-380.
    Examining the period from the 1920s to the 1970s, one of the key features of the Rivista di filosofia is a lasting interest in the Renaissance and Vico, while the focus on seventeenth-century metaphysics is significantly more time-bound and linked to the activity of some prominent figures in the journal such as Piero Martinetti, Eugenio Colorni, and Gioele Solari. The rise of the Neo-Enlightenment caused a radical change in the editorial choices, and turned the journal’s focus toward the empiricist tradition (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Scholia in scholia: su una nuova edizione di Hermias di Alessandria.Domenico Cufalo - 2017 - Exemplaria Classica. Journal of Classical Philology 21:227–242.
    Review of Carlo M. Lucarini et Claudio Moreschini, Hermias Alexandrinus, In Platonis Phaedrum scholia, Berlin – Boston: De Gruyter, 2012, lxiv+293 pp., ISBN 978-3-11-020115-4.
    Download  
     
    Export citation  
     
    Bookmark  
  27. Un problema abierto de independencia en la teoría de conjuntos relacionado con ultrafiltros no principales sobre el conjunto de los números naturales N, y con Propiedades Ramsey.Franklin Galindo - manuscript
    En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas con ultrafiltros no principales y con Propiedades Ramsey (Bernstein, Polarizada, Subretículo, Ramsey, Ordinales flotantes, etc). La primera versión débil del AE es la siguiente (A): “Existen ultrafiltros no principales sobre el conjunto de los números naturales (ℕ)”. Y la segunda versión débil del (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. La problemática axiológica en la filosofía latinoamericana.José Ramón Fabelo Corzo - 1998 - In Mildred Ballares Rodríguez (ed.), Filosofía en América Latina. pp. 369-407.
    El trabajo realiza un recorrido histórico sumario por la siempre presente temática axiológica en el pensamiento filosófico latinoamericano. Luego de una introducción en la que se abunda sobre las razones por las cuales el tema de los valores siempre ha estado presente en la filosofía, se analiza su trayectoria en América Latina a través de los siguientes apartados: "El pensamiento latinoamericano: una historia cargada de contenido axiológico", "La crítica al positivismo y la introducción a un pensamiento explícitamente axiológico", "Adopción de (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Ratzinger and del Noce on 1968 and Beyond.Michael Liccione - 2020 - In Thomas V. Gourlay & Daniel Mathys (eds.), 1968: Culture and Counterculture (Wipf & Stock, 2020), pp. 236-252. Wipf & Stock. pp. 236-252.
    In a recent article in Commonweal, Carlo Lancellotti presents the unusual and prescient perspective of Italian-Catholic philosopher Augusto Del Noce on the social and political trends that manifested themselves across the West in the tumultuous events of 1968. In this paper I shall support Del Noce's thesis in two ways. First, I shall summarize then-Professor Joseph Ratzinger's reactions to 1968 and relate them to the conclusions of Del Noce and others Lancellotti cites. While Lancellotti does not cite Ratzinger, what (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. O Conceito do Trabalho: da antiguidade ao século XVI.Emanuel Isaque Cordeiro da Silva - manuscript
    SOCIOLOGIA DO TRABALHO: O CONCEITO DO TRABALHO DA ANTIGUIDADE AO SÉCULO XVI -/- SOCIOLOGY OF WORK: THE CONCEPT OF WORK OF ANTIQUITY FROM TO THE XVI CENTURY -/- RESUMO -/- Ao longo da história da humanidade, o trabalho figurou-se em distintas posições na sociedade. Na Grécia antiga era um assunto pouco, ou quase nada, discutido entre os cidadãos. Pensadores renomados de tal época, como Platão e Aristóteles, deixaram a discussão do trabalho para um último plano. Após várias transformações sociais entre (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. One Hundred Years of Philosophy of Science: The View from Munich.Thomas Mormann - 2011 - Vienna Circle Institute Yearbook 15:297 - 309.
    These days, a number of philosophers of science indulge in lamenting about a crisis of their discipline. They complain about its loss of relevance, and bemoan the mar gi na lization of their dis cipline in the philosophical community and in the wider academia , Hardcastle and Richardson ). The Munich take on the philosophy of science does not succumb to this temptation. According to it, philosophy of science is well and alive. In Carlos Ulises Moulines’s Die Entwicklung der (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Quando i pazienti non hanno parole per le emozioni: un contributo tra psicologia analitica e neuroscienze.Ferruccio Vigna - 2012 - In L. Caparrotta & P. Cuniberti (eds.), Psicoanalisi in trincea. FrancoAngeli.
    Un frammento clinico -/- Lo chiamerò Carlo; ha cinquant’anni, una laurea e buona proprietà di linguaggio; è single, elegante, intelligente, seduttivo, eroinomane. Siamo alla sesta o settima seduta, e non ho ottenuto altro da lui che risposte letterali, e piuttosto banali, alle mie domande; lunghe descrizioni dei suoi molteplici disturbi fisici e altrettanto lunghi silenzi. Eppure di cose da dire ce ne sarebbero parecchie. E’ un brillante dirigente in una industria ingegneristica, ma recentemente lo ha investito un uragano. La sua (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. O/ontology.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):1-2.
    The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Categories and foundational ontology: A medieval tutorial.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (1):1-56.
    Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. Bridging mainstream and formal ontology: A causality-based upper ontology in Dietrich of Freiberg.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (2):35.
    Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  36. Two-level grammars: Some interesting properties of van Wijngaarden grammars.Luis M. Augusto - 2023 - Omega - Journal of Formal Languages 1:3-34.
    The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Deductive Computing over Knowledge Bases: Prolog and Datalog.Luis M. Augusto - 2024 - Journal of Knowledge Structures and Systems 5 (1):1-62.
    Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Toward a general theory of knowledge.Luis M. Augusto - 2020 - Journal of Knowledge Structures and Systems 1 (1):63-97.
    For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  39. Many-valued logics. A mathematical and computational introduction.Luis M. Augusto - 2020 - London: College Publications.
    2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Formal logic: Classical problems and proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  41. De la historia del arte como posibilidad actual del humanismo en Julius von Schlosser y Giulio Carlo Argan.Carlos Vanegas - 2014 - Co-herencia (20):79-98.
    The complex world of thought and sensitivity in the sphere of contemporary art has entailed the revision and exclusion of disciplines aimed at providing a model to explain and conceptualize reality. Art history, as one such discipline, has had many of its contributions questioned from Gombrich’s epistemological reformulation to the postmodern discourses, which extol the death of the author, the post-structuralist idea of tradition as a textual phenomenon, and the declaration of the death of history as a consequence of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. From symbols to knowledge systems: A. Newell and H. A. Simon's contribution to symbolic AI.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (1):29 - 62.
    A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Entities and their genera: Slicing up the world the medieval way--and does it matter to formal ontology?Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):4-47.
    Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Lost in dissociation: The main paradigms in unconscious cognition.Luis M. Augusto - 2016 - Consciousness and Cognition 42:293-310.
    Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. What of multi- and interdisciplinarity? A (personal) case study.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):1-3.
    An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. The van Wijngaarden grammars: A syntax primer with decidable restrictions.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (2):1-39.
    Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Supraclassical Consequence: Abduction, Induction, and Probability for Commonsense Reasoning.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (1):1 - 46.
    Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. An Unknown Treatise of Avveroes against the Avicennians on the First Cause Edition and Translation.Carlos Steel & Guy Guldentops - 1997 - Recherches de Philosophie 64 (1):86-135.
    Although the treatise presented here is most interesting, it was never widely disseminated. As far as we know, it is preserved only in Latin, in one manuscript. The text poses many questions. Who produced a copy of the text? Who is the translator? Is the treatise a genuine work of Averroes? And if so, what was his intention in writing this monograph on the First Cause?
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Albertus Magnus and the emergence of late medieval intellectualism.Luis M. Augusto - 2009 - Mediaevalia: Textos E Estudos 28 (28):27-43.
    On how medieval philosophy is not (only) theology.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  50. Languages, machines, and classical computation.Luis M. Augusto - 2019 - London, UK: College Publications.
    3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 942